Buy Used and New Dominique Méry Books

Results for Dominique Méry

Showing 1 to 6 of 6 results
Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings: 11163 (Lecture Notes in Computer Science) Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings: 11163 (Lecture Notes in Computer Science) by El Hassan Abdelwahed,Ladjel Bellatreche,Mattéo Golfarelli,Dominique Méry,Carlos Ordonez

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings: 11163 (Lecture Notes in Computer Science)

by El Hassan Abdelwahed,Ladjel Bellatreche,Mattéo Golfarelli,Dominique Méry,Carlos Ordonez


ISBN 13: 9783030008550

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Sep 2018

Save for later

 
New : $76.98  
New : $76.98
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry


ISBN 13: 9789811550560

Format: Paperback (358 pages)
Publisher: Springer
Published: 29 Jul 2021

Save for later

 
New : $142.57  
New : $142.57
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry


ISBN 13: 9789811550539

Format: Hardcover (358 pages)
Publisher: Springer
Published: 28 Jul 2020

Save for later

 
New : $177.75  
New : $177.75